Adoption of Code Generation by a Railway Signalling Manufacturer

This dissertation is the result of a three years research experience at General Electric Transportation Systems (GETS), Intelligent Systems division of Florence. GETS is a well known railway signalling manufacturer that started practicing formal methods in 2002, with exploratory projects performed in collaboration with the Computer Engineering department (D.S.I. Dipartimento di Sistemi e Informatica) of the University of Florence. At the end of 2007, the company decided to introduce the code generation technology within its development process, and contacted experts from the university to implement industrially feasible strategies to address this goal. The work presented here reports on the results achieved in the context of this collaboration.